Filtros : "Mendes, Caio de Andrade" Limpar

Filtros



Refine with date range


  • Source: Journal of Logic and Computation. Unidade: IME

    Subjects: TEORIA DAS CATEGORIAS, COHOMOLOGIA

    Disponível em 2025-01-22Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      TENORIO, Ana Luiza e MENDES, Caio de Andrade e MARIANO, Hugo Luiz. On sheaves on semicartesian quantales and their truth values. Journal of Logic and Computation, 2024Tradução . . Disponível em: https://doi.org/10.1093/logcom/exad081. Acesso em: 11 maio 2024.
    • APA

      Tenorio, A. L., Mendes, C. de A., & Mariano, H. L. (2024). On sheaves on semicartesian quantales and their truth values. Journal of Logic and Computation. doi:10.1093/logcom/exad081
    • NLM

      Tenorio AL, Mendes C de A, Mariano HL. On sheaves on semicartesian quantales and their truth values [Internet]. Journal of Logic and Computation. 2024 ;[citado 2024 maio 11 ] Available from: https://doi.org/10.1093/logcom/exad081
    • Vancouver

      Tenorio AL, Mendes C de A, Mariano HL. On sheaves on semicartesian quantales and their truth values [Internet]. Journal of Logic and Computation. 2024 ;[citado 2024 maio 11 ] Available from: https://doi.org/10.1093/logcom/exad081
  • Source: Boletin de Matematicas. Unidade: IME

    Subjects: TEORIA DAS CATEGORIAS, CATEGORIAS TOPOLÓGICAS

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      ALVIM, José Goudet e MENDES, Caio de Andrade e MARIANO, Hugo Luiz. On categories of quantale valued sets. Boletin de Matematicas, v. 30, n. 2, p. 1-7, 2023Tradução . . Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/112590. Acesso em: 11 maio 2024.
    • APA

      Alvim, J. G., Mendes, C. de A., & Mariano, H. L. (2023). On categories of quantale valued sets. Boletin de Matematicas, 30( 2), 1-7. Recuperado de https://revistas.unal.edu.co/index.php/bolma/article/view/112590
    • NLM

      Alvim JG, Mendes C de A, Mariano HL. On categories of quantale valued sets [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-7.[citado 2024 maio 11 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112590
    • Vancouver

      Alvim JG, Mendes C de A, Mariano HL. On categories of quantale valued sets [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-7.[citado 2024 maio 11 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112590
  • Source: Handbook of abstracts. Conference titles: World Congress and School on Universal Logic. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MENDES, Caio de Andrade e MARIANO, Hugo Luiz. An abstract approach to algebraizable logics with quantifiers. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 11 maio 2024.
    • APA

      Mendes, C. de A., & Mariano, H. L. (2018). An abstract approach to algebraizable logics with quantifiers. In Handbook of abstracts. Vichy: Vichy University. Recuperado de https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
    • NLM

      Mendes C de A, Mariano HL. An abstract approach to algebraizable logics with quantifiers [Internet]. Handbook of abstracts. 2018 ;[citado 2024 maio 11 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
    • Vancouver

      Mendes C de A, Mariano HL. An abstract approach to algebraizable logics with quantifiers [Internet]. Handbook of abstracts. 2018 ;[citado 2024 maio 11 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
  • Source: Bulletin of Symbolic Logic. Conference titles: Latin American Symposium on Mathematical Logic - SLALM. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, TEORIA DAS CATEGORIAS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MARIANO, Hugo Luiz e MENDES, Caio de Andrade. Analysing categories of signatures. Bulletin of Symbolic Logic. New York: Cambridge University Press. Disponível em: https://doi.org/10.1017/S1079898600010738. Acesso em: 11 maio 2024. , 2013
    • APA

      Mariano, H. L., & Mendes, C. de A. (2013). Analysing categories of signatures. Bulletin of Symbolic Logic. New York: Cambridge University Press. doi:10.1017/S1079898600010738
    • NLM

      Mariano HL, Mendes C de A. Analysing categories of signatures [Internet]. Bulletin of Symbolic Logic. 2013 ;[citado 2024 maio 11 ] Available from: https://doi.org/10.1017/S1079898600010738
    • Vancouver

      Mariano HL, Mendes C de A. Analysing categories of signatures [Internet]. Bulletin of Symbolic Logic. 2013 ;[citado 2024 maio 11 ] Available from: https://doi.org/10.1017/S1079898600010738
  • Source: Book of abstracts. Conference titles: International Conference on Topology, Algebra, and Categories in Logic - TACL. Unidade: IME

    Assunto: TEORIA DAS CATEGORIAS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MARIANO, Hugo Luiz e MENDES, Caio de Andrade. Towards a good notion of categories of logics. 2011, Anais.. Marseille: Laboratoire d’Informatique Fondamentale de Marseille - LIF-UMR, 2011. Disponível em: https://pageperso.lis-lab.fr/~luigi.santocanale/tacl2011/tacl2011_book_of_abstracts.pdf. Acesso em: 11 maio 2024.
    • APA

      Mariano, H. L., & Mendes, C. de A. (2011). Towards a good notion of categories of logics. In Book of abstracts. Marseille: Laboratoire d’Informatique Fondamentale de Marseille - LIF-UMR. Recuperado de https://pageperso.lis-lab.fr/~luigi.santocanale/tacl2011/tacl2011_book_of_abstracts.pdf
    • NLM

      Mariano HL, Mendes C de A. Towards a good notion of categories of logics [Internet]. Book of abstracts. 2011 ;[citado 2024 maio 11 ] Available from: https://pageperso.lis-lab.fr/~luigi.santocanale/tacl2011/tacl2011_book_of_abstracts.pdf
    • Vancouver

      Mariano HL, Mendes C de A. Towards a good notion of categories of logics [Internet]. Book of abstracts. 2011 ;[citado 2024 maio 11 ] Available from: https://pageperso.lis-lab.fr/~luigi.santocanale/tacl2011/tacl2011_book_of_abstracts.pdf

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024